<?php class DatabaseException extends Exception {}